Automatic Construction and Verification of Isotopy Invariants

We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Isotopism is an important generalisation of isomorphism, and is studied by mathematicians in domains such as loop theory. This extension was not straightforward, and we had to solve two major technical problems, namely, generating and verifying isotopy invariants. Concentrating on the domain of loop theory, we have developed three novel techniques for generating isotopic invariants, by using the notion of universal identities and by using constructions based on subblocks. In addition, given the complexity of the theorems that verify that a conjunction of the invariants form an isotopy class, we have developed ways of simplifying the problem of proving these theorems. Our techniques employ an interplay of computer algebra, model generation, theorem proving, and satisfiability-solving methods. To demonstrate the power of the approach, we generate isotopic classification theorems for loops of size 6 and 7, which extend the previously known enumeration results. This work was previously beyond the capabilities of automated reasoning techniques. The author’s work was supported by EPSRC MathFIT grant GR/S31099.     

支持What-if分析的OLAP系统研究

数据仓库和OLAP是决策支持系统的重要组成部分.What-if分析是基于历史数据,对假设场景进行分析的重要手段,它可以为决策者提供重要的预测信息,是一种非常重要的决策支持分析过程.文中分析了what-if分析的研究现状,从不同的角度对what-if分析进行了分类.将其分为基于规则的what-if分析、基于delta表的差分数据存储与合并机制的what-if分析和基于CUBE增量维护方法的what-if分析三类,分析了各种实现方法的优点以及适用范围.给出了基于内存数据库的delta表模式的what-if分析算法和一种新的CUBE维护算法.最后对基于what-if分析的OLAP系统的未来研究方向进行了展望.     

Assessing creative problem-solving with automated text grading

The work aims to improve the assessment of creative problem-solving in science education by employing language technologies and computational–statistical machine learning methods to grade students’ natural language responses automatically. To evaluate constructs like creative problem-solving with validity, open-ended questions that elicit students’ constructed responses are beneficial. But the high cost required in manually grading constructed responses could become an obstacle in applying open-ended questions. In this study, automated grading schemes have been developed and evaluated in the context of secondary Earth science education. Empirical evaluations revealed that the automated grading schemes may reliably identify domain concepts embedded in students’ natural language responses with satisfactory inter-coder agreement against human coding in two sub-tasks of the test (Cohen’s Kappa = .65–.72). And when a single holistic score was computed for each student, machine-generated scores achieved high inter-rater reliability against human grading (Pearson’s r = .92). The reliable performance in automatic concept identification and numeric grading demonstrates the potential of using automated grading to support the use of open-ended questions in science assessments and enable new technologies for science learning.     

一种保持语义的压缩数据立方体结构

通常数据立方体体积较大,语义关系复杂,完整的语义立方体很难实现。基于商立方体,该文提出了语义数据立方体结构(SDC),将单元格中的单元以其上界替代,并保存下界,简化了单元格的表示,保持单元格的全部语义,并可以实现单元的上卷和下钻操作。把语义关系应用到数据立方体的查询、增量更新中,使查询响应时间及更新代价大大降低。实验结果表明,SDC是有效的。     

基于SOA的商业智能平台的研究与设计

针对传统的商业智能工具难以集成到企业商业流程的缺点,提出以商业流程为中心的商业智能平台的设计原则,给出一种基于SOA架构的开放式商业智能平台,该平台将商业智能组件无缝集成到企业商业流程中,并通过基于SOA架构的集成机制有效集成现有系统和遗留系统。给出基于SBBIP的企业解决方案开发的模型和一个应用场景。     

基于数据仓库住院信息采集分析系统设计

通过分析现阶段的医院病案管理模式和数据仓库的特点,提出了基于数据仓库技术,构建住院病人信息采集分析系统的设计方案,并根据医院医疗管理信息的需求给出系统的总体结构、数据仓库的模型、数据转换和数据分析处理方法,并探讨了分布式数据仓库的设计和实现.     

基于数据仓库技术的高校招生决策支持系统的构建

该文首先介绍了决策支持系统的概念,然后通过对高校招生进行需求分析,利用微软的产品MSSQLServer2005构建了招生决策支持系统平台。     

EC环境下高性能数据仓库平台的设计

随着网络技术的发展,电子商务作为一种全新的商务模式,已经深入到我们的工作、生活当中,因而构建支持电子商务的高性能数据仓库平台显得非常重要。该文以此为出发点,讨论了电子商务环境下数据仓库平台的设计和实现,包括需求分析,逻辑设计和物理设计等。     

基于数据挖掘算法的交通状态辨识方法研究

在分析现有交通状态辨识理论的局限性的基础上,提出了一种新的交通状态辨识模型。此模型针对每种交通状态样本数据都具有一定的相似性,不同状态之间的样本具有相异性的性质,采用数据挖掘方法中的聚类算法对不同状态的交通流数据进行聚类。所提出的模型避免了目前模型中只采用单个交通流参数进行状态识别的缺点,为交通状态的辨识提供了一种新的思路。     

EDI技术在集装箱运输市场应用研究

在信息技术高速发展的知识经济时代,EDI技术在航运市场的应用不但得到了肯定,而且已经形成了全球性的EDI网络。该文主要分析数据仓库系统的结构和建立,其次对基于EDI信息的集装箱运输市场系统进行分析。目的在于对于EDI技术如何进一步加工提炼信息增值服务,为众多港航EDI用户的日常运作提供更多的信息支持。